Modal logic

Results: 1643



#Item
11A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

Add to Reading List

Source URL: drops.dagstuhl.de

- Date: 2017-09-01 10:27:18
    12A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic CONCUR 2017, Berlin, Germany Ki Yung Ahn, Ross Horne and Alwen Tiu School of Computer Science and Engineering, Nanyang Technological University,

    A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic CONCUR 2017, Berlin, Germany Ki Yung Ahn, Ross Horne and Alwen Tiu School of Computer Science and Engineering, Nanyang Technological University,

    Add to Reading List

    Source URL: www.ntu.edu.sg

    - Date: 2017-09-05 03:25:12
      13Intuitionistic modal logic in indexed nested sequents Sonia Marin and Lutz Straßburger ´ LIX, Inria, Ecole Polytechnique

      Intuitionistic modal logic in indexed nested sequents Sonia Marin and Lutz Straßburger ´ LIX, Inria, Ecole Polytechnique

      Add to Reading List

      Source URL: anupamdas.com

      - Date: 2017-08-04 11:45:45
        14Some Non-Classical Methods in (Epistemic) Modal Logic and Games: A Proposal Can BAS ¸ KENT The Graduate Center of the City University of New York

        Some Non-Classical Methods in (Epistemic) Modal Logic and Games: A Proposal Can BAS ¸ KENT The Graduate Center of the City University of New York

        Add to Reading List

        Source URL: canbaskent.net

        - Date: 2014-03-06 23:52:50
          15Incremental Decision Procedures for Modal Logic with Nominals and Eventualities Gert Smolka Saarland University

          Incremental Decision Procedures for Modal Logic with Nominals and Eventualities Gert Smolka Saarland University

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2011-06-26 09:17:12
            16Lecture Notes on Proofs as Programs: Modal Logic Frank Pfenning Lecture 2 January 14, 2010

            Lecture Notes on Proofs as Programs: Modal Logic Frank Pfenning Lecture 2 January 14, 2010

            Add to Reading List

            Source URL: www.cs.cmu.edu

            - Date: 2010-01-15 13:49:06
              17Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010

              Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010

              Add to Reading List

              Source URL: www.cs.cmu.edu

              - Date: 2010-02-11 11:26:12
                18Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

                Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2015-10-19 12:38:16
                  191 MODAL LOGIC: A SEMANTIC PERSPECTIVE Patrick Blackburn and Johan van Benthem 1

                  1 MODAL LOGIC: A SEMANTIC PERSPECTIVE Patrick Blackburn and Johan van Benthem 1

                  Add to Reading List

                  Source URL: www.illc.uva.nl

                  - Date: 2006-04-27 10:35:42
                    20Lecture Notes on Judgments and Propositions: Modal Logic Frank Pfenning Lecture 1 January 12, 2010

                    Lecture Notes on Judgments and Propositions: Modal Logic Frank Pfenning Lecture 1 January 12, 2010

                    Add to Reading List

                    Source URL: www.cs.cmu.edu

                    - Date: 2010-01-12 10:01:42